Voer een woord of zin in in een taal naar keuze 👆
Taal:
Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT
Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:
- hoe het woord wordt gebruikt
- gebruiksfrequentie
- het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
- opties voor woordvertaling
- Gebruiksvoorbeelden (meerdere zinnen met vertaling)
- etymologie
retracting homotopy - vertaling naar russisch
UNIVERSAL BUNDLE DEFINED ON A CLASSIFYING SPACE
Homotopy quotient; Homotopy orbit space
retracting homotopy
математика
ретрактирующая гомотопия
homotopy class
![isotopy]].](https://commons.wikimedia.org/wiki/Special:FilePath/Mug and Torus morph.gif?width=200 "isotopy]].")
CONTINUOUS DEFORMATION BETWEEN TWO CONTINUOUS MAPS
Homotopic; Homotopy equivalent; Homotopy equivalence; Homotopy invariant; Homotopy class; Null-homotopic; Homotopy type; Nullhomotopic; Homotopy invariance; Homotopy of maps; Homotopically equivalent; Homotopic maps; Homotopy of paths; Homotopical; Homotopy classes; Null-homotopy; Null homotopy; Nullhomotopic map; Null homotopic; Relative homotopy; Homotopy retract; Continuous deformation; Relative homotopy class; Homotopy-equivalent; Homotopy extension and lifting property; Isotopy (topology); Homotopies
математика
гомотопический класс
null homotopic
CONTINUOUS DEFORMATION BETWEEN TWO CONTINUOUS MAPS
Homotopic; Homotopy equivalent; Homotopy equivalence; Homotopy invariant; Homotopy class; Null-homotopic; Homotopy type; Nullhomotopic; Homotopy invariance; Homotopy of maps; Homotopically equivalent; Homotopic maps; Homotopy of paths; Homotopical; Homotopy classes; Null-homotopy; Null homotopy; Nullhomotopic map; Null homotopic; Relative homotopy; Homotopy retract; Continuous deformation; Relative homotopy class; Homotopy-equivalent; Homotopy extension and lifting property; Isotopy (topology); Homotopies
математика
гомотопный нулю
гомотопически тривиальный
Definitie
Haskell
<language> (Named after the logician Haskell Curry) A lazy
purely functional language largely derived from Miranda
but with several extensions. Haskell was designed by a
committee from the functional programming community in April
1990. It features static polymorphic typing, {higher-order
functions}, user-defined algebraic data types, and
pattern-matching list comprehensions. Innovations include
a class system, systematic operator overloading, a
functional I/O system, functional arrays, and {separate
compilation}.
Haskell 1.3 added many new features, including monadic I/O,
standard libraries, constructor classes, labeled fields in
datatypes, strictness annotations, an improved module
system, and many changes to the Prelude.
Gofer is a cut-down version of Haskell with some extra
features.
Filename extension: .hs, .lhs (literate programming).
http://haskell.org/.
["Report on the Programming Language Haskell Version 1.1",
Paul Hudak & P. Wadler eds, CS Depts, U Glasgow and Yale U.,
Aug 1991 ].
[Version 1.2: SIGPLAN Notices 27(5), Apr 1992 ].
{Haskell 1.3 Report
(http://haskell.cs.yale.edu/haskell-report/haskell-report.html) }.
Mailing list: <haskell-request@cs.yale.edu>.
Yale Haskell - Version 2.0.6, Haskell 1.2 built on {Common
Lisp}.
ftp://nebula.cs.yale.edu/pub/haskell/yale/.
Glasgow Haskell (GHC) - Version 2.04 for DEC Alpha/OSF2;
HPPA1.1/HPUX9,10; SPARC/SunOs 4, Solaris 2;
MIPS/Irix 5,6; Intel 80386/Linux,Solaris
2,FreeBSD,CygWin 32; PowerPC/AIX. GHC generates C
or native code.
ftp://ftp.dcs.glasgow.ac.uk/pub/haskell/glasgow/.
E-mail: <glasgow-haskell-request@dcs.glasgow.ac.uk>.
Haskell-B - Haskell 1.2 implemented in LML, generates
native code.
ftp://ftp.cs.chalmers.se/pub/haskell/chalmers/.
E-mail: <hbc@cs.chalmers.se>.
(1997-06-06)
Wikipedia
Universal bundle
In mathematics, the universal bundle in the theory of fiber bundles with structure group a given topological group G, is a specific bundle over a classifying space BG, such that every bundle with the given structure group G over M is a pullback by means of a continuous map M → BG.
